- ещё нужно доказать
- •
The utility of the theory has yet to be demonstrated.
Русско-английский научно-технический словарь переводчика. Михаил Циммерман, Клавдия Веденеева. 2003.
The utility of the theory has yet to be demonstrated.
Русско-английский научно-технический словарь переводчика. Михаил Циммерман, Клавдия Веденеева. 2003.
Список эпизодов телесериала «Папины дочки» — Основная статья: Папины дочки Комедийный телесериал «Папины дочки» транслируется на канале СТС с 3 сентября 2007 года. На данный момент вышло 19 сезонов 390 серий (в каждом сезоне по 20 серий, исключение составляют 7 и 11 сезоны в них … Википедия
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
Александр II (часть 2, XIII-XIX) — XIII. Дела внутренние (1866—1871). 4 го апреля 1866 года, в четвертом часу дня, Император Александр, после обычной прогулки в Летнем саду, садился в коляску, когда неизвестный человек выстрелил в него из пистолета. В эту минуту, стоявший в… … Большая биографическая энциклопедия
Конкурс — 1) стечение (concursus) денежных требований нескольких кредиторов к несостоятельному должнику, 2) особый порядок их удовлетворения и 3) совокупность органов, производящих это удовлетворение. В основе К. лежит социальная идея подчинение… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
Список эпизодов телесериала «Закон и порядок» — В данной таблице представлен список эпизодов американского телесериала «Закон и порядок». Первая серия была показана 13 сентября 1990 года на канале NBC. На данный момент вышло 20 сезонов сериала. Всего снято 456 эпизода. В 2010 году сериал… … Википедия
Христианство — всемирная религия, первая в настоящее время по числу последователей (около 494 милл.) и по культурно историч. значению своему и принявших ее народов, признающая себя откровением Единого в Троице Истинного Бога, Творца и Промыслителя вселенной,… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Список эпизодов мультсериала «Приключения Джимми Нейтрона» — В данном разделе представлены все эпизоды мультсериала Приключения Джимми Нейтрона. Приключения Джимми Нейтрона: мальчика гения это американский мультипликационный CGI сериал, созданный по мотивам полнометражного мультфильма 2001 года… … Википедия
Back to the Future: The Game. Episode 4: Double Visions — Постер четвёртого эпизода. Разработчик … Википедия
Законодательные запреты пропаганды гомосексуализма в России — Попытки законодательного запрета «пропаганды гомосексуализма» в России предпринимались как на федеральном, так и на региональных уровнях с 2000 х годов. По состоянию на 2012 год в России на федеральном уровне такого закона так принято и не было.… … Википедия
доказательство — рассуждение, устанавливающее истинность к. л. утверждения путем приведения других утверждений, истинность которых уже доказана. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Словарь терминов логики